Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
721	2014 Texas Tech University Health Sciences Center: Simulation Centers Policies Add to Reading List Source URL: www.ttuhsc.edu Language: English - Date: 2014-11-03 14:25:03 Virtual reality Operations research Simulation Electronic design automation Texas Tech University Health Sciences Center Logic simulation Haptic technology Humanâ€“computer interaction Digital electronics Electronic engineering
722	Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-08-09 21:17:37 Formal methods Logic in computer science NP-complete problems And-inverter graph Diagrams Boolean satisfiability problem Satisfiability Logic synthesis Automatic test pattern generation Electronic engineering Theoretical computer science Electronic design automation
723	Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-28 18:02:46 Formal methods Logic in computer science Electronic design automation Mathematical logic Programming paradigms And-inverter graph Logic programming Model checking Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
724	SAT-Based Complete Don’t-Care Computation for Network Optimization Alan Mishchenko Department of EECS University of California, Berkeley [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2004-04-30 02:47:03 Boolean algebra Computing Formal methods Electronic design automation Boolean satisfiability problem Boolean network Model checking Canonical form Lookup table Theoretical computer science Logic Mathematics
725	Fast Heuristic Minimization of Exclusive-Sums-of-Products∗ Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [alanmi,mperkows]@ee.p Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-07-16 02:56:52 Electronic design Electronic design automation Boolean algebra Logic optimization Karnaugh map Logic synthesis Minimisation Cube Electronic engineering Design Digital electronics
726	Microsoft Word - EndtoEndRetiming6.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-05-01 11:48:41 Electronic design automation Clock signal Retiming Operations research Electrical circuits Clock skew Physical design Clock distribution network Mathematical optimization Electronic engineering Formal methods Electronics
727	Applying Logic Synthesis for Speeding Up SAT Niklas Een, Alan Mishchenko, Niklas S¨ orensson Cadence Berkeley Labs, Berkeley, USA. EECS Department, University of California, Berkeley, USA. Chalmers University of Technol Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-03-20 02:33:25 Theoretical computer science Conjunctive normal form And-inverter graph Science Mathematics Circuit Canonical form Boolean network Logic Electronic design automation Formal methods
728	Microsoft Word - imfs27.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-12-20 12:21:03 Formal methods Mathematics Logic Boolean algebra Diagrams And-inverter graph Boolean satisfiability problem Canonical form Lookup table Theoretical computer science Computing Electronic design automation
729	Carbon nanotubes are superior to metals for electronics Add to Reading List Source URL: phys.org Language: English - Date: 2015-02-10 11:45:36 Electronic design automation Materials science Electromagnetism Physics Electromigration Nanotechnology Potential applications of carbon nanotubes Carbon nanotubes Emerging technologies Carbon nanotube
730	SAT-Based Logic Optimization and Resynthesis Alan Mishchenko Robert Brayton Jie-Hong Roland Jiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-04-23 22:32:02 Electronic design automation Boolean network Science Mathematics Design Diagrams Formal methods And-inverter graph

UPDATE